1. Algebra and coalgebra in computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ; Algebra ; Congresses. ; Formale Methode ; Kongress ; Udine <2009> ; Theoretische Informatik ; Algebra ; Kongress ; Udine <2009> ; Theoretische Informatik ; Koalgebra ; Kongress ; Udine <2009> ; Algebra. ; swd
2. Algorithmische Konzepte der Informatik :
پدیدآورنده : Juraj Hromkovič.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithmus -- 0 Gesamtdarstellung.,Theoretische Informatik,Theoretische Informatik.
3. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Lund <1993>,Theoretische Informatik.
4. Fete of combinatorics and computer science
پدیدآورنده : Gyula O.H. Katona, Alexander Schrijver, Tamas Szionyi (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Combinatorial analysis,Computer science- Mathematics,Kombinatorik,Theoretische Informatik,Keszthely,Kongress
رده :
QA
،
164
،.
F484
،
2010
5. Grundbegriffe der Theoretischen Informatik
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Informatik,Theoretische Informatik
6. Grundkurs Informatik - Das Übungsbuch
پدیدآورنده : Jochen Schmidt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Informatik,Informatikstudium,Theoretische Informatik
7. Grundkurs theoretische Informatik :
پدیدآورنده : Gottfried Vossen ; Kurt-Ulrich Witt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Theoretische Informatik -- Lehrbuch.,Theoretische Informatik.
8. Grundlagen der theoretischen Informatik mit Anwendungen :
پدیدآورنده : Gottfried Vossen ; Kurt-Ulrich Witt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Theoretische Informatik.
9. Grundlagen der theoretischen Informatik mit Anwendungen :
پدیدآورنده : Gottfried Vossen ; Kurt-Ulrich Witt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Theoretische Informatik.
رده :
QA76
.
G688
2002
10. Mathematical and Engineering Methods in Computer Science :
پدیدآورنده : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME,SPEZIELLE PROGRAMMIERMETHODEN,THEORETISCHE INFORMATIK
رده :
QA75
.
5
T456
2013
11. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
12. The pillars of computation theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ; Theoretische Informatik. ; swd. ;
13. The pillars of computation theory
پدیدآورنده : Arnold L. Rosenberg
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computational complexity,Theoretische Informatik., swd
رده :
QA
،
267
.
7
،.
R67
،
2010
14. The pillars of computation theory
پدیدآورنده : / Arnold L. Rosenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computational complexity,Theoretische Informatik., swd
رده :
E-BOOK
15. Theoretische Grundlagen der Informatik
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer science.,Theoretische Informatik
16. Theoretische Informatik :
پدیدآورنده : Lutz Priese, Katrin Erk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Theoretische Informatik.
17. Theoretische Informatik
پدیدآورنده : Dirk W. Hoffmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Theoretische Informatik-- Lehrbuch.,Theoretische Informatik,Theoretische Informatik, 0 Gesamtdarstellung.,Theoretische Informatik, Lehrbuch.
18. Theoretische Informatik :
پدیدآورنده : Juraj Hromkovič
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Theoretische Informatik.
19. Theoretische Informatik :
پدیدآورنده : Alexander Asteroth; Christel Baier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Theoretische Informatik.
20. Theoretische Informatik Eine problemorientierte Einführung
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer science.,Theoretische Informatik
رده :
QA76
.
9
.
L63
T446
1996